Optimal. Leaf size=241 \[ \frac {\sqrt {2} \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt [4]{2-e x}}{\sqrt [4]{2+e x}}\right )}{\sqrt [4]{3} e}-\frac {\sqrt {2} \tan ^{-1}\left (1+\frac {\sqrt {2} \sqrt [4]{2-e x}}{\sqrt [4]{2+e x}}\right )}{\sqrt [4]{3} e}-\frac {\log \left (\frac {\sqrt {6-3 e x}-\sqrt {6} \sqrt [4]{2-e x} \sqrt [4]{2+e x}+\sqrt {3} \sqrt {2+e x}}{\sqrt {2+e x}}\right )}{\sqrt {2} \sqrt [4]{3} e}+\frac {\log \left (\frac {\sqrt {6-3 e x}+\sqrt {6} \sqrt [4]{2-e x} \sqrt [4]{2+e x}+\sqrt {3} \sqrt {2+e x}}{\sqrt {2+e x}}\right )}{\sqrt {2} \sqrt [4]{3} e} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.18, antiderivative size = 241, normalized size of antiderivative = 1.00, number of steps
used = 11, number of rules used = 8, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.400, Rules used = {65, 338, 303,
1176, 631, 210, 1179, 642} \begin {gather*} \frac {\sqrt {2} \text {ArcTan}\left (1-\frac {\sqrt {2} \sqrt [4]{2-e x}}{\sqrt [4]{e x+2}}\right )}{\sqrt [4]{3} e}-\frac {\sqrt {2} \text {ArcTan}\left (\frac {\sqrt {2} \sqrt [4]{2-e x}}{\sqrt [4]{e x+2}}+1\right )}{\sqrt [4]{3} e}-\frac {\log \left (\frac {\sqrt {6-3 e x}+\sqrt {3} \sqrt {e x+2}-\sqrt {6} \sqrt [4]{2-e x} \sqrt [4]{e x+2}}{\sqrt {e x+2}}\right )}{\sqrt {2} \sqrt [4]{3} e}+\frac {\log \left (\frac {\sqrt {6-3 e x}+\sqrt {3} \sqrt {e x+2}+\sqrt {6} \sqrt [4]{2-e x} \sqrt [4]{e x+2}}{\sqrt {e x+2}}\right )}{\sqrt {2} \sqrt [4]{3} e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 65
Rule 210
Rule 303
Rule 338
Rule 631
Rule 642
Rule 1176
Rule 1179
Rubi steps
\begin {align*} \int \frac {1}{\sqrt [4]{6-3 e x} (2+e x)^{3/4}} \, dx &=-\frac {4 \text {Subst}\left (\int \frac {x^2}{\left (4-\frac {x^4}{3}\right )^{3/4}} \, dx,x,\sqrt [4]{6-3 e x}\right )}{3 e}\\ &=-\frac {4 \text {Subst}\left (\int \frac {x^2}{1+\frac {x^4}{3}} \, dx,x,\frac {\sqrt [4]{6-3 e x}}{\sqrt [4]{2+e x}}\right )}{3 e}\\ &=\frac {2 \text {Subst}\left (\int \frac {\sqrt {3}-x^2}{1+\frac {x^4}{3}} \, dx,x,\frac {\sqrt [4]{6-3 e x}}{\sqrt [4]{2+e x}}\right )}{3 e}-\frac {2 \text {Subst}\left (\int \frac {\sqrt {3}+x^2}{1+\frac {x^4}{3}} \, dx,x,\frac {\sqrt [4]{6-3 e x}}{\sqrt [4]{2+e x}}\right )}{3 e}\\ &=-\frac {\text {Subst}\left (\int \frac {1}{\sqrt {3}-\sqrt {2} \sqrt [4]{3} x+x^2} \, dx,x,\frac {\sqrt [4]{6-3 e x}}{\sqrt [4]{2+e x}}\right )}{e}-\frac {\text {Subst}\left (\int \frac {1}{\sqrt {3}+\sqrt {2} \sqrt [4]{3} x+x^2} \, dx,x,\frac {\sqrt [4]{6-3 e x}}{\sqrt [4]{2+e x}}\right )}{e}-\frac {\text {Subst}\left (\int \frac {\sqrt {2} \sqrt [4]{3}+2 x}{-\sqrt {3}-\sqrt {2} \sqrt [4]{3} x-x^2} \, dx,x,\frac {\sqrt [4]{6-3 e x}}{\sqrt [4]{2+e x}}\right )}{\sqrt {2} \sqrt [4]{3} e}-\frac {\text {Subst}\left (\int \frac {\sqrt {2} \sqrt [4]{3}-2 x}{-\sqrt {3}+\sqrt {2} \sqrt [4]{3} x-x^2} \, dx,x,\frac {\sqrt [4]{6-3 e x}}{\sqrt [4]{2+e x}}\right )}{\sqrt {2} \sqrt [4]{3} e}\\ &=-\frac {\log \left (\frac {\sqrt {2-e x}-\sqrt {2} \sqrt [4]{2-e x} \sqrt [4]{2+e x}+\sqrt {2+e x}}{\sqrt {2+e x}}\right )}{\sqrt {2} \sqrt [4]{3} e}+\frac {\log \left (\frac {\sqrt {2-e x}+\sqrt {2} \sqrt [4]{2-e x} \sqrt [4]{2+e x}+\sqrt {2+e x}}{\sqrt {2+e x}}\right )}{\sqrt {2} \sqrt [4]{3} e}-\frac {\sqrt {2} \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\frac {\sqrt {2} \sqrt [4]{2-e x}}{\sqrt [4]{2+e x}}\right )}{\sqrt [4]{3} e}+\frac {\sqrt {2} \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\frac {\sqrt {2} \sqrt [4]{2-e x}}{\sqrt [4]{2+e x}}\right )}{\sqrt [4]{3} e}\\ &=\frac {\sqrt {2} \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt [4]{2-e x}}{\sqrt [4]{2+e x}}\right )}{\sqrt [4]{3} e}-\frac {\sqrt {2} \tan ^{-1}\left (1+\frac {\sqrt {2} \sqrt [4]{2-e x}}{\sqrt [4]{2+e x}}\right )}{\sqrt [4]{3} e}-\frac {\log \left (\frac {\sqrt {2-e x}-\sqrt {2} \sqrt [4]{2-e x} \sqrt [4]{2+e x}+\sqrt {2+e x}}{\sqrt {2+e x}}\right )}{\sqrt {2} \sqrt [4]{3} e}+\frac {\log \left (\frac {\sqrt {2-e x}+\sqrt {2} \sqrt [4]{2-e x} \sqrt [4]{2+e x}+\sqrt {2+e x}}{\sqrt {2+e x}}\right )}{\sqrt {2} \sqrt [4]{3} e}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 5 vs. order 3 in
optimal.
time = 0.10, size = 42, normalized size = 0.17 \begin {gather*} -\frac {\sqrt {2} (6-3 e x)^{3/4} \, _2F_1\left (\frac {3}{4},\frac {3}{4};\frac {7}{4};\frac {1}{12} (6-3 e x)\right )}{9 e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.06, size = 0, normalized size = 0.00 \[\int \frac {1}{\left (-3 e x +6\right )^{\frac {1}{4}} \left (e x +2\right )^{\frac {3}{4}}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 452 vs.
\(2 (184) = 368\).
time = 1.06, size = 452, normalized size = 1.88 \begin {gather*} 2 \, \sqrt {2} \left (\frac {1}{3}\right )^{\frac {1}{4}} \arctan \left (\frac {\sqrt {3} \sqrt {2} \left (\frac {1}{3}\right )^{\frac {3}{4}} {\left (x e^{4} - 2 \, e^{3}\right )} \sqrt {\frac {3 \, \sqrt {\frac {1}{3}} {\left (x e^{3} - 2 \, e^{2}\right )} e^{\left (-2\right )} + \sqrt {2} \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (x e + 2\right )}^{\frac {1}{4}} {\left (-3 \, x e + 6\right )}^{\frac {3}{4}} - \sqrt {x e + 2} \sqrt {-3 \, x e + 6}}{x e - 2}} e^{\left (-3\right )} - \sqrt {2} \left (\frac {1}{3}\right )^{\frac {3}{4}} {\left (x e + 2\right )}^{\frac {1}{4}} {\left (-3 \, x e + 6\right )}^{\frac {3}{4}} - x e + 2}{x e - 2}\right ) e^{\left (-1\right )} + 2 \, \sqrt {2} \left (\frac {1}{3}\right )^{\frac {1}{4}} \arctan \left (\frac {\sqrt {3} \sqrt {2} \left (\frac {1}{3}\right )^{\frac {3}{4}} {\left (x e^{4} - 2 \, e^{3}\right )} \sqrt {\frac {3 \, \sqrt {\frac {1}{3}} {\left (x e^{3} - 2 \, e^{2}\right )} e^{\left (-2\right )} - \sqrt {2} \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (x e + 2\right )}^{\frac {1}{4}} {\left (-3 \, x e + 6\right )}^{\frac {3}{4}} - \sqrt {x e + 2} \sqrt {-3 \, x e + 6}}{x e - 2}} e^{\left (-3\right )} - \sqrt {2} \left (\frac {1}{3}\right )^{\frac {3}{4}} {\left (x e + 2\right )}^{\frac {1}{4}} {\left (-3 \, x e + 6\right )}^{\frac {3}{4}} + x e - 2}{x e - 2}\right ) e^{\left (-1\right )} - \frac {1}{2} \, \sqrt {2} \left (\frac {1}{3}\right )^{\frac {1}{4}} e^{\left (-1\right )} \log \left (\frac {3 \, {\left (3 \, \sqrt {\frac {1}{3}} {\left (x e^{3} - 2 \, e^{2}\right )} e^{\left (-2\right )} + \sqrt {2} \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (x e + 2\right )}^{\frac {1}{4}} {\left (-3 \, x e + 6\right )}^{\frac {3}{4}} - \sqrt {x e + 2} \sqrt {-3 \, x e + 6}\right )}}{x e - 2}\right ) + \frac {1}{2} \, \sqrt {2} \left (\frac {1}{3}\right )^{\frac {1}{4}} e^{\left (-1\right )} \log \left (\frac {3 \, {\left (3 \, \sqrt {\frac {1}{3}} {\left (x e^{3} - 2 \, e^{2}\right )} e^{\left (-2\right )} - \sqrt {2} \left (\frac {1}{3}\right )^{\frac {1}{4}} {\left (x e + 2\right )}^{\frac {1}{4}} {\left (-3 \, x e + 6\right )}^{\frac {3}{4}} - \sqrt {x e + 2} \sqrt {-3 \, x e + 6}\right )}}{x e - 2}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {3^{\frac {3}{4}} \int \frac {1}{\sqrt [4]{- e x + 2} \left (e x + 2\right )^{\frac {3}{4}}}\, dx}{3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {1}{{\left (e\,x+2\right )}^{3/4}\,{\left (6-3\,e\,x\right )}^{1/4}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________